تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۱,۷۰ ثانیه یافت شد.

1. Symbolic logic and mechanical theorem proving

المؤلف: Chang, Chin- Liang

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Logic, Symbolic and mathemaical,، Automatic theorem proving,، Artificial intelligence

رده :

QA

9

.

C49

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها